981. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
982. Topics in cryptology -- CT-RSA 2018 :
پدیدآورنده: Nigel P. Smart (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
983. Towards Evolvable Hardware :
پدیدآورنده: edited by Eduardo Sanchez, Marco Tomassini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
TK7888
.
4
E358
1996
984. Towards Trustworthy Elections: New Directions in Electronic Voting
پدیدآورنده: / Ed Gerck (auth.), David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
985. Towards evolvable hardware : the evolutionary engineering approach
پدیدآورنده: Eduardo Sanchez, Marco Tomassini )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1062
986. Towards the Internet of Things :
پدیدآورنده: Mohammad Ali Jabraeil Jamali, Bahareh Bahrami, Arash Heidari, Parisa Allahverdizadeh, Farhad Norouzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Internet of things.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Internet of things.
رده :
TK5105
.
8857
987. Traffic Monitoring and Analysis: Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings
پدیدآورنده: / Pascual, Yuval Shavitt, Steve Uhlig (eds.)-Najjary (auth.), Jordi Domingo-Keller, Taoufik En-Marcin Pietrzyk, Louis Plissonneau, Guillaume Urvoy
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
988. Transactional Memory, 2nd Edition
پدیدآورنده: / Harris, Tim
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC& ARCHITECTURE|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
989. Transactions on Computational Collective Intelligence II
پدیدآورنده: / Grzegorz J. Nalepa, Weronika T. Furmaska (auth.), Ngoc Thanh Nguyen, Ryszard Kowalczyk (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
990. Transactions on Computational Science X: Special Issue on Security in Computing, Part I
پدیدآورنده: / Luca Compagna, Paul El Khoury, Fabio Massacci (auth.), Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
991. Transactions on Data Hiding and Multimedia Security VI
پدیدآورنده: / Fu Chang, Regunathan Radhakrishnan, Fulong Ma, Li Zhao (eds.)-Tsong Ng, Wei Su (auth.), Yun Q. Shi, Sabu Emmanuel, Mohan S. Kankanhalli, Shih-Patchara Sutthiwan, Yun Q. Shi, Hong Zhao, Tian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
992. Transactions on Petri Nets and Other Models of Concurrency IV
پدیدآورنده: / rg Desel (auth.), Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.)Jن
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
993. Transactions on computational collective intelligence V
پدیدآورنده: / Ali Selamat (auth.), Ngoc Thanh Nguyen (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
994. Transactions on large-scale data- and knowledge-centered systems XXXVII /
پدیدآورنده: edited by Abdelkader Hameurlain, Roland Wagner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
995. Trends in Functional Programming :
پدیدآورنده: edited by Jay McCarthy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
62
E358
2014
996. Trustworthy Reconfigurable Systems
پدیدآورنده: / Thomas Feller
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC& METHODS|ENGINEERING, ELECTRICAL & ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
997. Trustworthy execution on mobile devices
پدیدآورنده: Vasudevan, Amit, Amit Vasudevan, Jonathan M. McCune, James Newsome
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer security,، Mobile computing,Security measures ، Mobile communication systems,، Computer Science,، Systems and Data Security,، Computer Communication Networks,، Data Encryption,، Communications Engineering, Networks
رده :
QA76
.
9
.
A25
998. 27, 2011, Tutorial Lectures-Reasoning Web. Semantic Technologies for the Web of Data: 7th International Summer School 2011, Galway, Ireland, August 23
پدیدآورنده: / Schneider (eds.)-Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter Patelبren Auer, Jens Lehmann (auth.), Axel Polleres, Claudia dSن
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
999. Type Theory and Formal Proof: An Introduction
پدیدآورنده: / Professor Rob Nederpelt, Professor Herman Geuvers
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
1000. UNIX, C und Internet :
پدیدآورنده: von Wulf Alex, Gerhard Bernör.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer hardware.,Computer science.,Software engineering.
رده :
QA76
.
76
.
O63
V669
1994
